Computer Aided Verification The... Tayssir Touili (edit... Paperback Published 30 Jun 2010 Save $0.97 RRP $147.66 $146.69 In Stock